Pivoting makes the ZX-calculus complete for real stabilizers
نویسندگان
چکیده
We show that pivoting property of graph states cannot be derived from the axioms of the ZX-calculus, and that pivoting does not imply local complementation of graph states. Therefore the ZX-calculus augmented with pivoting is strictly weaker than the calculus augmented with the Euler decomposition of the Hadamard gate. We derive an angle-free version of the ZX-calculus and show that it is complete for real stabilizer quantum mechanics.
منابع مشابه
Supplementarity is Necessary for Quantum Diagram Reasoning
The ZX-calculus is a powerful diagrammatic language for quantum mechanics and quantum information processing. We prove that its π4 -fragment is not complete, in other words the ZXcalculus is not complete for the so called "Clifford+T quantum mechanics". The completeness of this fragment was one of the main open problems in categorical quantum mechanics, a programme initiated by Abramsky and Coe...
متن کاملComplete pivoting strategy for the $IUL$ preconditioner obtained from Backward Factored APproximate INVerse process
In this paper, we use a complete pivoting strategy to compute the IUL preconditioner obtained as the by-product of the Backward Factored APproximate INVerse process. This pivoting is based on the complete pivoting strategy of the Backward IJK version of Gaussian Elimination process. There is a parameter $alpha$ to control the complete pivoting process. We have studied the effect of dif...
متن کاملY-Calculus: A language for real Matrices derived from the ZX-Calculus
The ZX-Calculus is a powerful diagrammatic language devoted to represent complex quantum evolutions. But the advantages of quantum computing still exist when working with rebits, and evolutions with real coefficients. Some models explicitly use rebits, but the ZX-Calculus can not handle these evolutions as it is. Hence, we define an alternative language solely dealing with real matrices, with a...
متن کاملA Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics
We introduce the first complete and approximatively universal diagrammatic language for quantum mechanics. We make the ZX-Calculus, a diagrammatic language introduced by Coecke and Duncan, complete for the so-called Clifford+T quantum mechanics by adding four new axioms to the language. The completeness of the ZX-Calculus for Clifford+T quantum mechanics was one of the main open questions in ca...
متن کاملThe ZX Calculus is incomplete for Clifford+T quantum mechanics
The ZX calculus is a diagrammatic language for quantum mechanics and quantum information processing. We prove that the ZX-calculus is not complete for the Clifford+T quantum mechanics. The completeness for this fragment has been stated as one of the main current open problems in categorical quantum mechanics [8]. The ZX calculus was known to be incomplete for quantum mechanics [7], on the other...
متن کامل